Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
611	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:05:57 Model theory Metalogic Formal languages First-order logic Predicate logic Function Constructible universe Well-formed formula Structure Logic Mathematics Mathematical logic
612	Context-Based Incremental Generation for Dialogue Matthew Purver1 and Ruth Kempson2 Departments of 1 Computer Science and 2 Philosophy, King’s College London, Strand, London WC2R 2LS, UK {matthew.purver, ruth.kempson}@ Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2009-01-26 11:47:40 Computing Compiler construction Parsing Compiling tools Syntax Tree-adjoining grammar Formal grammar Natural language understanding Language Formal languages Software engineering Programming language implementation
613	HOW TO REMOVE QUOTE MARKS @Remove can remove any character from a field except one – the double quote. This is because the double quote is used in the function’s syntax: @Remove (String 1, “String 2”) where Strin Add to Reading List Source URL: www.audimation.com Language: English - Date: 2014-06-11 17:39:09 Software engineering Character encoding Formal languages Procedural programming languages Quotation mark glyphs ASCII UTF-8 Quotation mark String Punctuation Computing Notation
614	Ways of Breaking out of Normal Interpretation and Meaning English Sentences Compare these two sentences: Say your name out loud. Say "your name" out loud. By wrapping those two words in quotes they are broken out of thei Add to Reading List Source URL: www.xfront.com Language: English - Date: 2011-12-06 08:14:27 Formal languages Meaning Philosophical logic Regular expression Schematron Asterisk Sed Expression Interpretation Computing Philosophy of language XML
615	Faceted Execution of Policy-Agnostic Programs Thomas H. Austin Jean Yang Cormac Flanagan Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-05-21 08:08:48 Structure Universal algebra String Linguistics Mathematics Formal languages Model theory
616	How to Build Applications with a Sound Foundation Add to Reading List Source URL: www.xfront.com Language: English - Date: 2014-02-23 08:33:03 Compiler construction Parser generators Formal languages Compiling tools Parsing SYNTAX Lexical analysis ANTLR Formal grammar Programming language implementation Software engineering Software
617	Handling Looping and Optional Actions in YAPPR Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2011-08-12 19:06:59 Context-free grammar Parsing Grammar Left recursion Formal grammar Parsing expression grammar Formal languages Software engineering Computing
618	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:17:22 Software engineering Unified Modeling Language Electronic engineering Formal methods Systems engineering Computing Esterel Systems Modeling Language SIGNAL Hardware description languages Synchronous programming languages Esterel Technologies
619	TOOL OF THE INTELLIGENCE ECONOMIC: RECOGNITION FUNCTION OF REVIEWS CRITICS. Extraction and linguistic analysis of sentiments Grzegorz Dziczkowski, Katarzyna Wegrzyn-Wolska Ecole Superieur d’Ingenieurs en Informatique e Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-09-08 05:27:24 Language Computational linguistics Formal languages Speech recognition Semiotics Syntax Natural language processing Formal grammar Classifier Linguistics Science Grammar
620	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:01:47 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages

UPDATE